#!/usr/bin/python
# -*- coding: utf8 -*-

# Construyo el lenguaje especificado
from extensiones.booleans import extensionBoolean
from extensiones.naturals import extensionNat
from extensiones.functions import extensionFunc   
from extensiones.let import extensionLet
from extensiones.literal_nats import extensionLiteralNat
from extensiones.letrec import extensionLetRec
from extensiones.lista import extensionLista
from extensiones.arbolBinario import extensionArbol
from extensiones.registros import extensionRegistro
from extensiones.tupla import extensionTupla
from extensiones.maybe import extensionMaybe
	
extensiones = [extensionBoolean,
               extensionNat,
               extensionFunc,
               extensionLet,
               extensionLiteralNat,
               extensionLetRec,
               extensionLista,
               extensionArbol,
               extensionRegistro,
               extensionTupla,
               extensionMaybe
              ]
